$\forall$$p$:FinProbSpace, $a$:$\mathbb{Q}$, $n$:$\mathbb{N}$. $a$ $\in$ RandomVariable($p$;$n$)